search: Replace the gradient separator with a simple line

The current separator uses a gradient effect as a separator
between search results. As the mockups suggest, the gradient
separator is no longer needed, in favor of a more simple one,
which is a thin semitransparent line.

https://bugzilla.gnome.org/show_bug.cgi?id=749957

diff --git a/data/theme/gnome-shell-high-contrast.css b/data/theme/gnome-shell-high-contrast.css
index fc16943c521213d57d301eec119af570e5f50e36..a876f357d6691e1a62a886050da67e261dc9b625 100644 (file)
--- a/data/theme/gnome-shell-high-contrast.css
+++ b/data/theme/gnome-shell-high-contrast.css
@@ -1172,11 +1172,8 @@ StScrollBar {
   spacing: 3px; }
 
 .search-section-separator {
-  -gradient-height: 1px;
-  -gradient-start: rgba(255, 255, 255, 0);
-  -gradient-end: rgba(255, 255, 255, 0.1);
-  -margin-horizontal: 1.5em;
-  height: 1px; }
+  height: 2px;
+  background-color: rgba(255, 255, 255, 0.2); }
 
 .list-search-result-content {
   spacing: 30px; }

diff --git a/data/theme/gnome-shell-sass b/data/theme/gnome-shell-sass
index 07f43e04251e0daedf2828a5b15c007e8e57fb05..46963bc8e332cbe36a0791ed6345c48241d5c52a 160000 (submodule)
--- a/data/theme/gnome-shell-sass
+++ b/data/theme/gnome-shell-sass
@@ -1 +1 @@
-Subproject commit 07f43e04251e0daedf2828a5b15c007e8e57fb05
+Subproject commit 46963bc8e332cbe36a0791ed6345c48241d5c52a

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index e1132c79e042a8ac709f86096f247e108ca94c5b..ed1fabc90f9bbcabede6e2bfacb4f7ab88d68e79 100644 (file)
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -1172,11 +1172,8 @@ StScrollBar {
   spacing: 3px; }
 
 .search-section-separator {
-  -gradient-height: 1px;
-  -gradient-start: rgba(255, 255, 255, 0);
-  -gradient-end: rgba(255, 255, 255, 0.1);
-  -margin-horizontal: 1.5em;
-  height: 1px; }
+  height: 2px;
+  background-color: rgba(255, 255, 255, 0.2); }
 
 .list-search-result-content {
   spacing: 30px; }

diff --git a/js/ui/search.js b/js/ui/search.js
index ca6d8ba8f05390a8d99e11aa85ce0bcae41889cd..a00e282a51cc2adfc7a9fdfe7d891ec9b9169ede 100644 (file)
--- a/js/ui/search.js
+++ b/js/ui/search.js
@@ -17,7 +17,6 @@ const IconGrid = imports.ui.iconGrid;
 const Main = imports.ui.main;
 const Overview = imports.ui.overview;
 const RemoteSearch = imports.ui.remoteSearch;
-const Separator = imports.ui.separator;
 const Util = imports.misc.util;
 
 const SEARCH_PROVIDERS_SCHEMA = 'org.gnome.desktop.search-providers';
@@ -149,8 +148,8 @@ const SearchResultsBase = new Lang.Class({
                                               y_fill: true });
         this.actor.add(this._resultDisplayBin, { expand: true });
 
-        let separator = new Separator.HorizontalSeparator({ style_class: 'search-section-separator' });
-        this.actor.add(separator.actor);
+        let separator = new St.Widget({ style_class: 'search-section-separator' });
+        this.actor.add(separator);
 
         this._resultDisplays = {};